The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3h·
Discuss: Hacker News, r/programming
🔗Lisp
LeetCode 2040 Beginner friendly explanation
dev.to·13h·
Discuss: DEV
🧮Kolmogorov Complexity
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·7h
📝Concrete Syntax
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Proficient Python: Course Overview
proficientpython.com·5h
🔗Concatenative Programming
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·4h·
Discuss: DEV
🧮Kolmogorov Complexity
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Threaded Code
muforth.dev·3h·
Discuss: Hacker News
🦀Rust Macros
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·10h
🔗Topological Sorting
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·21h·
Discuss: Hacker News
⚙️TLA+